CatDat

Implication Details

Assumptions: self-dualℵ₂-small products

Conclusions: ℵ₂-small coproducts

Proof: This holds by self-duality.